Andrewp2

Question:

There are many here who both believe that soon AI will be superhuman at maths, solving all Millenium problems and beyond, and yet also reject any claims that maths is 'dead', and believe that mathematics will thrive.

I'm curious, for those people, what is maths in that future?

Answer:

First of all, let me state that I'm not sure that I am one of those people who believe that mathematics will thrive in the near or far future, but this has been on my mind for some time and I figured I would get out my own thoughts on the issue.

Andrewp2

import static java.lang.Thread.sleep;

public class Main {
    public static void main(String[] args) {
        try {
            Validation validation = validate();
            try {
                Value value = update_db(validation);
                send_email(value);
            } catch (DBError db) {

Andrewp2

PS C:\Users\andre\code\rust\wgpu_bug> cargo run
   Compiling wgpu_bug v0.1.0 (C:\Users\andre\code\rust\wgpu_bug)
    Finished dev [unoptimized + debuginfo] target(s) in 1.29s
     Running `target\debug\wgpu_bug.exe`
i: 0, cpu: 24, gpu: 24
i: 1, cpu: 42, gpu: 42
i: 2, cpu: 192, gpu: 192
i: 3, cpu: 42, gpu: 42
i: 4, cpu: 108, gpu: 108
i: 5, cpu: 14, gpu: 14

Andrewp2

import os
import png
import random

A = 255
B = 127

files_to_combine = [
    (["baseColor", "subsurface"], "tex1"),
    (["metallic", "specular", "specularTint", "roughness"], "tex2"),

Andrewp2

import os
import png
import random

A = 255
B = 127

files_to_create = [
    # 1
    ("baseColor", (A, A, A, 0)),

Andrewp2

static class Quantity {
        public int amount;
        public String name;
        public int id;

        public Quantity(int amount, String name, int id) {
            this.amount = amount;
            this.name = name;
            this.id = id;
        }

Andrewp2

    static class Quantity {
        public int amount;
        public String name;
        public int id;

        public Quantity(int amount, String name, int id) {
            this.amount = amount;
            this.name = name;
            this.id = id;
        }

Andrewp2

andrewp2@AndrewComputer:~/code/amethyst$ vulkaninfo
==========
VULKANINFO
==========

Vulkan Instance Version: 1.1.114



Instance Extensions:

Andrewp2

andrewp2@AndrewComputer:~/code/amethyst$ cargo run --example pong --features "vulkan"
    Finished dev [unoptimized + debuginfo] target(s) in 0.16s
     Running `target/debug/examples/pong`
[INFO][amethyst::app] Initializing Amethyst...
[INFO][amethyst::app] Version: 0.12.0
[INFO][amethyst::app] Platform: x86_64-unknown-linux-gnu
[INFO][amethyst::app] Amethyst git commit: c0263f433798c6c5cbf564082dc81a1a6f51ed29
[INFO][amethyst::app] Rustc version: 1.36.0 Stable
[INFO][amethyst::app] Rustc git commit: a53f9df32fbb0b5f4382caaad8f1a46f36ea887c
[INFO][winit::platform::platform::x11::window] Guessed window DPI factor: 1